perm filename CHANG[1,JRA] blob
sn#005830 filedate 1972-07-14 generic text, type T, neo UTF8
00100 Q(B B D);
00200 Q(C C G);
00300 Q(A G D);
00400 ¬D(X1 B) ∨¬D(X1 C);
00500 ¬D(X1 X2) ∨ Q(X1 H(X1 X2) X2);
00600 ¬Q(X1 X2 X3) ∨ D(X1 X3);
00700 Q(X1 X2 F(X1 X2));
00800 ¬P(X1) ∨ ¬Q(X2 X2 X3) ∨ ¬D(X1 X3) ∨ D(X1 X2);
00850 ¬Q(X1 X2 X4) ∨ ¬Q(X1 X3 X4) ∨ E(X2 X3);
01000 ¬Q(X1 X2 X4) ∨ ¬Q(X2 X3 X5) ∨ ¬Q(X4 X3 X6) ∨ Q(X1 X5 X6);
01200 ¬D(X1 X2) ∨ ¬E(X3 X2) ∨ D(X1 X3);
01250
01300 ¬Q(X1 X2 X3) ∨ Q(X2 X1 X3);
01400 ¬D(X1 X2) ∨ ¬D(X2 X3) ∨ D(X1 X3);
01500 ;
01600 ;
01700 ¬P(A); ;